(0 17 15)(1 19 7)(2 8 5)(3 10 4)(6 13 9)(11 16 14)(12 20 18)
ALLOWS (11/8)-SEQUENCE
1: (3 10 20)
(0 17 15)(1 19 7)(2 8 5)(3 18 12 20 4)(6 13 9)(10)(11 16 14)
2: (1 19 7)
(0 17 15)(1)(2 8 5)(3 18 12 20 4)(6 13 9)(7)(10)(11 16 14)(19)
3: (2 8 5)
(0 17 15)(1)(2)(3 18 12 20 4)(5)(6 13 9)(7)(8)(10)(11 16 14)(19)
4: (4 12 20)
(0 17 15)(1)(2)(3 18 12)(4)(5)(6 13 9)(7)(8)(10)(11 16 14)(19)(20)